Rue (Somme). Foraine de Hère

Somme Coloration De Graphe

RÉSUMÉ : Dans cet article nous étudions le problème de la somme coloration minimale (MSCP) qui consiste à trouver une coloration des sommets d’un graphe, utilisant des entiers naturels, telle que la somme des couleurs est minimale. Nous présentons une synthèse des travaux sur MSCP, ainsi qu’une nouvelle famille d’algorithmes gloutons pour MSCP. Nous proposons une étude de bornes inférieures bas...

Somme Ponctuelle D’opérateurs Maximaux Monotones

The primary goal of this paper is to shed some light on the maximality of the pointwise sum of two maximal monotone operators. The interesting purpose is to extend some recent results of Attouch, Moudafi and Riahi on the graphconvergence of maximal monotone operators to the more general setting of reflexive Banach spaces. In addition, we present some conditions which imply the uniform Brézis-Cr...

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

Mesusage du tramadol par les adolescents et jeunes adultes en situation de rue

L’objectif de cette étude transversale et descriptive était de décrire quelques caractéristiques de l’addiction au Tramadol chez les adolescents et jeunes adultes en situation de rue, rattachés aux centres d’écoute du Service Educatif, Judiciaire et préventif (SEJUP) de Niamey. Le recueil des données a porté sur les variables sociodémographiques et la consommation de tramadol. L’analyse des don...